This is an account of the algebraic geometry of Witt vectors and related constructions. The theory of the usual, "p-typical" Witt vectors of p-adic schemes of finite type is already reasonably well understood. The main point here is to generalize this theory in two different ways. We allow not just p-typical Witt vectors but also, for example, those taken with respect to any set of primes in any ring of integers in any global field. In particular, this includes the "big" Witt vectors. We also allow not just p-adic schemes of finite type but arbitrary algebraic spaces over the ring of integers in the global field. We give similar generalizations of Buium's formal arithmetic jet spaces, which are dual to the Witt vector construction. We also give concrete geometric descriptions of Witt spaces and arithmetic jet spaces and investigate whether many standard geometric properties are preserved by these functors.